Domain Modeling for Monitoring Systems

Applying a knowledge-based approach to monitoring and controlling real-time systems is often infeasible because the execution time of backward-chaining queries is unpredictable. In this paper, we show how a decomposition of reasoning into forward and backward inference can bound the execution time of queries. We present a domain modeling technique with algorithms for classifying knowledge into forward and backward categories. Topics: Reasoning about Physical Systems: Modeling Knowledge Representation: Temporal Reasoning